CoRR, June 2013
(Withdrawn) An Open Question on the Uniqueness of (Encrypted) Arithmetic.
A. Tawfik:
Calibrated Fair Measures of Measure: Indices to Quantify an Individual's Scientific Research Output.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. 5-19
Hong Jiang, Paul A. Wilford, Stephen A. Wilkus:
Providing Local Content in a Hybrid Single Frequency Network using Hierarchical Modulation.
Andrew G. Lamperski, Laurent Lessard:
Optimal Decentralized State-Feedback Control with Sparsity and Delays.
Mickaël Buchet, Frédéric Chazal, Steve Y. Oudot, Donald R. Sheehy:
Efficient and Robust Topological Data Analysis on Metric Spaces.
Camelia-Mihaela Pintea, Petrica C. Pop:
Sensitive Ants for Denial Jamming Attack on Wireless Sensor Network.
Steven Cheng, Lisa Higham, Jalal Kawash:
Partition Consistency: A Case Study in Modeling Systems with Weak Memory Consistency and Proving Correctness of their Implementations.
Amitabha Sinha, Mitrava Sarkar, Soumojit Acharyya, Suranjan Chakraborty:
A Novel Reconfigurable Architecture of a DSP Processor for Efficient Mapping of DSP Functions using Field Programmable DSP Arrays.
I. Ayachi, Ryan Kammarti, Mekki Ksouri, Pierre Borne:
Harmony search algorithm for the container storage problem.
Wasim Huleihel, Neri Merhav:
Analysis of Mismatched Estimation Errors Using Gradients of Partition Functions.




Luca Felicetti, Mauro Femminella, Gianluca Reali:
Simulation of Molecular Signaling in Blood Vessels: Software Design and Application to Atherogenesis.
Eugenio Culurciello, Jonghoon Jin, Aysegul Dundar, Jordan Bates:
An Analysis of the Connections Between Layers of Deep Neural Networks.

Lilian Weng, Filippo Menczer, Yong-Yeol Ahn:
Virality Prediction and Community Structure in Social Networks.
Daqiang Zhang, Qin Zou, Haoyi Xiong:
CRUC: Cold-start Recommendations Using Collaborative Filtering in Internet of Things.
Parinaz Naghizadeh Ardabili, Mingyan Liu:
Perceptions and Truth: A Mechanism Design Approach to Crowd-Sourcing Reputation.
Riadh Bouslimi, Abir Messaoudi, Jalel Akaichi:
Using a bag of Words for Automatic Medical Image Annotation with a Latent Semantic.
Haleh Amintoosi, Salil S. Kanhere:
A Trust-based Recruitment Framework for Multi-hop Social Participatory Sensing.
Matthias Bechmann, John Clark, Angelika Sebald:
Genetic algorithms and solid state NMR pulse sequences.
Prateek Dewan, Niharika Sachdeva, Mayank Gupta, Ponnurangam Kumaraguru:
ChaMAILeon: Exploring the Usability of a Privacy Preserving Email Sharing System.
Peng Bao, Huawei Shen, Wei Chen, Xueqi Cheng:
Cumulative Effect in Information Diffusion: A Comprehensive Empirical Study on Microblogging Network.

Ibrahim Kabiru Musa, Stuart D. Walker:
Hybrid Optical and Electrical Network Flows Scheduling in Cloud Data Centres.
José H. H. Grisi-Filho, Raul Ossada, Fernando Ferreira, Marcos Amaku:
Scale-Free Networks with the Same Degree Distribution: Different Structural Properties.


Jie Lu, Choon Yik Tang:
Distributed Asynchronous Algorithms for Solving Positive Definite Linear Equations over Dynamic Networks.
(Withdrawn) Epidemic-like Proximity-based Traffic Offloading.
Marina Danilevsky, Chi Wang, Nihit Desai, Jingyi Guo, Jiawei Han:
KERT: Automatic Extraction and Ranking of Topical Keyphrases from Content-Representative Document Titles.
Zvika Brakerski, Adeline Langlois, Chris Peikert, Oded Regev, Damien Stehlé:
Classical Hardness of Learning with Errors.
Junjie Rong, Lihua Wen, Jinyou Xiao:
An efficient method for evaluating BEM singular integrals on curved elements with application in acoustic analysis.
Subramanian Ganesh, Ramachandran Amutha:
Efficient and Secure Routing Protocol for Wireless Sensor Networks through SNR based Dynamic Clustering Mechanisms.
Özgür Dagdelen, Marc Fischlin, Tommaso Gagliardoni:
The Fiat-Shamir Transformation in a Quantum World.
Hector Zenil, Fernando Soler-Toscano, Kamaludin Dingle, Ard A. Louis:
Graph Automorphism and Topological Characterization of Synthetic and Natural Complex Networks by Information Content.
Xiaoying Zheng, Chunglae Cho, Ye Xia:
Algorithms and Stability Analysis for Content Distribution over Multiple Multicast Trees.
Arnav Goyal, Dixita Limbachiya, Shikhar Kumar Gupta, Foram Joshi, Sushant Pritmani, Akshita Sahai, Manish K. Gupta:
DNA Pen: A Tool for Drawing on a Molecular Canvas.
Michael P. Wellman, Tae Hyung Kim, Quang Duong:
Analyzing Incentives for Protocol Compliance in Complex Domains: A Case Study of Introduction-Based Routing.

Jun He, Dejiao Zhang, Laura Balzano, Tao Tao:
Iterative Grassmannian Optimization for Robust Image Alignment.
Amihood Amir, Gianni Franceschini, Roberto Grossi, Tsvi Kopelowitz, Moshe Lewenstein, Noa Lewenstein:
Managing Unbounded-Length Keys in Comparison-Driven Data Structures with Applications to On-Line Indexing.
Abdelhamid Salah Brahim, Lionel Tabourier, Bénédicte Le Grand:
A data-driven analysis to question epidemic models for citation cascades on the blogosphere.
Juan Carlos Vera, Eric Vigoda, Linji Yang:
Improved Bounds on the Phase Transition for the Hard-Core Model in 2-Dimensions.
Ryan Kammarti, I. Ayachi, Mekki Ksouri, Pierre Borne:
Evolutionary Approach for the Containers Bin-Packing Problem.
Wafaa El-Haweet, Islam Elgedawy, Ibrahim Abd El-Salam:
Adaptive Fixed Priority End-To-End Imprecise Scheduling In Distributed Real Time Systems.
Mohamed Ibrahim, Ahmed Saeed, Moustafa Youssef, Khaled A. Harras:
Unconventional TV Detection using Mobile Devices.
Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
A Three-Dimensional Model of Residential Energy Consumer Archetypes for Local Energy Policy Design in the UK.
Givon Zirkind:
One Time Pad Password Protection: Using T.E.C. Steganography and Secure Password Transmission Protocols.
Alberto Rico-Alvariño, Robert W. Heath Jr.:
Learning-Based Adaptive Transmission for Limited Feedback Multiuser MIMO-OFDM.

Paolo Minero, Sung Hoon Lim, Young-Han Kim:
Hybrid Coding: An Interface for Joint Source-Channel Coding and Network Communication.

Misha Denil, Babak Shakibi, Laurent Dinh, Marc'Aurelio Ranzato, Nando de Freitas:
Predicting Parameters in Deep Learning.
Ming Li, Sandipan Kundu, Dimitrios A. Pados, Stella N. Batalama:
Waveform Design for Secure SISO Transmissions and Multicasting.
(Withdrawn) Details of an Automotive Sub-System: Saab Instrument Cluster Module.




Justin Gilmer, Michael E. Saks, Srikanth Srinivasan:
Composition limits and separating examples for some Boolean function complexity measures.


Mei Leng, Wee-Peng Tay, Chong Meng Samson See, Sirajudeen Gulam Razul, Moe Z. Win:
Fundamental Limits for Location and Velocity Estimation using Signals of Opportunity.
Nicolas Ray, Dmitry Sokolov:
Tracing cross-free polylines oriented by a N-symmetry direction field on triangulated surfaces.
Xiaogang Liu, Yuan Luo, Kenneth W. Shum:
On the Optimum Cyclic Subcode Chains of (2, m)* for Increasing Message Length.
Derrick Wing Kwan Ng, Robert Schober:
Resource Allocation for Secure Communication in Systems with Wireless Information and Power Transfer.
Nader Ale Ebrahim, Hadi Farhadi, Hadi Salehi, Melor Md. Yunus, Arezoo Aghaei Chadegani, Maryam Farhadi, Masood Fooladi:
Does it Matter Which Citation Tool is Used to Compare the h-index of a Group of Highly Cited Researchers?
Diederik P. Kingma:
Fast Gradient-Based Inference with Continuous Latent Variable Models in Auxiliary Form.
Nikola Benes, Benoît Delahaye, Uli Fahrenberg, Jan Kretínský, Axel Legay:
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.
Nadeem Javaid, R. D. Khan, Manzoor Ilahi, L. Ali, Zahoor Ali Khan, U. Qasim:
Evaluating Wireless Proactive Routing Protocols under Mobility and Scalability Constraints.
Nadeem Javaid, Manzoor Ilahi, R. D. Khan, L. Ali, U. Qasim, Zahoor Ali Khan:
Evaluating Wireless Reactive Routing Protocols with Linear Programming Model for Wireless Ad-hoc Networks.
W. Arshad, Nadeem Javaid, R. D. Khan, Manzoor Ilahi, U. Qasim, Zahoor Ali Khan:
Modeling and Simulating Network Connectivity in Routing Protocols for MANETs and VANETs.
Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet:
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench.
S. Wasiq, Nadeem Javaid, Manzoor Ilahi, R. D. Khan, U. Qasim, Zahoor Ali Khan:
Evaluating and Comparing Probability of Path Loss in DSDV, OLSR and DYMO at 802.11 and 802.11p.
Joan Boyar, Kim S. Larsen, Abyayananda Maiti:
The Frequent Items Problem in Online Streaming under Various Performance Measures.
Bartlomiej Blaszczyszyn, Holger Paul Keeler:
Equivalence and comparison of heterogeneous cellular networks.

María Poza, César Domínguez, Jónathan Heras, Julio Rubio:
A certified reduction strategy for homological image processing.

Kalina Bontcheva, Genevieve Gorrell, Bridgette Wessels:
Social Media and Information Overload: Survey Results.
Waleed K. A. Najy, Jacob W. Crandall, Hatem H. Zeineldin:
A Critical Assessment of Cost-Based Nash Methods for Demand Scheduling in Smart Grids.
Hernan Haimovich, Richard H. Middleton, Lisandro De Nicolo:
Large-signal stability conditions for semi-quasi-Z-source inverters: switched and averaged models.
Gary A. McGilvary, Adam Barker, Ashley D. Lloyd, Malcolm P. Atkinson:
V-BOINC: The Virtualization of BOINC.
Jinkyu Kang, Osvaldo Simeone, Joonhyuk Kang, Shlomo Shamai:
Joint Signal and Channel State Information Compression for the Backhaul of Uplink Network MIMO Systems.
Felix X. Yu, Dong Liu, Sanjiv Kumar, Tony Jebara, Shih-Fu Chang:
$\propto$SVM for learning with label proportions.
Siby Abraham, Sugata Sanyal, Mukund A. Sanglikar:
Finding Numerical Solutions of Diophantine Equations using Ant Colony Optimization.
Wani W. Tamas, Gilles Notton, Christophe Paoli, Cyril Voyant, Marie-Laure Nivet, Aurélia Balu:
Urban ozone concentration forecasting with artificial neural network in Corsica.
James R. Wright, Kevin Leyton-Brown:
Evaluating, Understanding, and Improving Behavioral Game Theory Models For Predicting Human Behavior in Unrepeated Normal-Form Games.
Mouhamed Abdulla, Yousef R. Shayan:
An Exact Path-Loss Density Model for Mobiles in a Cellular System.
Mouhamed Abdulla, Yousef R. Shayan:
Closed-Form Path-Loss Predictor for Gaussianly Distributed Nodes.
Ismael Rafols, Michael M. Hopkins, Jarno Hoekman, Josh Siepel, Alice O'Hare, Antonio Perianes-Rodríguez, Paul Nightingale:
Big Pharma, little science? A bibliometric perspective on big pharma's R&D decline.
Kenichi Kobayashi, Manabu Kamimura, Keisuke Yano, Koki Kato, Akihiko Matsuo:
SArF Map: Visualizing Software Architecture from Feature and Layer Viewpoints.
Been Kim, Caleb M. Chacha, Julie A. Shah:
Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior.
Taotao Wang, Tiejun Lv, Hui Gao, Yueming Lu:
BER Analysis of Decision-Feedback Multiple Symbol Detection in Noncoherent MIMO Ultra-Wideband Systems.
Liang Liu, Rui Zhang, Kee-Chaing Chua:
Secrecy Wireless Information and Power Transfer with MISO Beamforming.
Jiuqing Wan, Li Liu:
Distributed Bayesian inference for consistent labeling of tracked objects in non-overlapping camera networks.
Eckhard Hitzer:
KamiWaAi - Interactive 3D Sketching with Java Based on Cl(4, 1) Conformal Model of Euclidean Space.
Mehul Bhatt, Jakob Suchan, Christian Freksa:
ROTUNDE - A Smart Meeting Cinematography Initiative: Tools, Datasets, and Benchmarks for Cognitive Interpretation and Control.
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber:
swMATH - a new information service for mathematical software.
Günther Koliander, Erwin Riegler, Giuseppe Durisi, Franz Hlawatsch:
Generic Correlation Increases Noncoherent MIMO Capacity.
Rupinder Kaur, Jyotsna Sengupta:
Software Process Models and Analysis on Failure of Software Development Projects.
Bernhard Haslhofer, Simeon Warner, Carl Lagoze, Martin Klein, Robert Sanderson, Herbert Van de Sompel, Michael L. Nelson:
Web Synchronization Simulations using the ResourceSync Framework.
Se-Young Yun, Jinwoo Shin, Yung Yi:
CSMA using Statistical Physics toward Throughput and Utility Optimal CSMA.
Pierre-Yves Baudin, Danny Goodman, Puneet Kumar, Noura Azzabou, Pierre G. Carlier, Nikos Paragios, M. Pawan Kumar:
Discriminative Parameter Estimation for Random Walks Segmentation: Technical Report.
Yoshua Bengio, Eric Thibodeau-Laufer, Jason Yosinski:
Deep Generative Stochastic Networks Trainable by Backprop.

M. N. Ullah, Anzar Mahmood, S. Razzaq, Manzoor Ilahi, R. D. Khan, Nadeem Javaid:
A Survey of Different Residential Energy Consumption Controlling Techniques for Autonomous DSM in Future Smart Grid Communications.
I. Khan, Anzar Mahmood, Nadeem Javaid, S. Razzaq, R. D. Khan, Manzoor Ilahi:
Home Energy Management Systems in Future Smart Grids.
Mohammad Ishfaq, Faran Ahmad Qadri, Nadeem Javaid:
Preventive Care Resource Allocation in Developing Countries: Can Rational Planning Techniques Help in Allocating Vaccinators in Dera Ismail Khan District of Pakistan?
Muhammad Zohaib, M. Pasha, R. A. Riaz, Nadeem Javaid, Manzoor Ilahi, R. D. Khan:
Control Strategies for Mobile Robot With Obstacle Avoidance.
Adeel Iqbal, M. Akbar, Nadeem Javaid, Safdar Hussain Bouk, Manzoor Ilahi, R. D. Khan:
Advanced LEACH: A Static Clustering-based Heteroneous Routing Protocol for WSNs.
S. Ahmed, I. U. Khan, Muhammad Babar Rasheed, Manzoor Ilahi, R. D. Khan, Safdar Hussain Bouk, Nadeem Javaid:
Comparative Analysis of Routing Protocols for Under Water Wireless Sensor Networks.
Will Ma:
Improvements and Generalizations of Stochastic Knapsack and Multi-Armed Bandit Algorithms: Full Version.
Andy Diwen Zhu, Xiaokui Xiao, Sibo Wang, Wenqing Lin:
Efficient Single-Source Shortest Path and Distance Queries on Large Graphs.
T. Tony Cai, Anru Zhang:
Sparse Representation of a Polytope and Recovery of Sparse Signals and Low-rank Matrices.
Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Linear Network Coding, Linear Index Coding and Representable Discrete Polymatroids.
Jinwoo Shin, Andrew E. Gelfand, Michael Chertkov:
A Graphical Transformation for Belief Propagation: Maximum Weight Matchings and Odd-Sized Cycles.
Erman Ayday, Emiliano De Cristofaro, Jean-Pierre Hubaux, Gene Tsudik:
The Chills and Thrills of Whole Genome Sequencing.
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso:
MintHint: Automated Synthesis of Repair Hints.

Waqas Nawaz, Yongkoo Han, Kifayat-Ullah Khan, Young-Koo Lee:
Personalized Email Community Detection using Collaborative Similarity Measure.
Massimo Monti, Pierre Imai, Christian F. Tschudin:
Designing Run-Time Environments to Have Predefined Global Dynamics.
Putti Srinivasrao, V. P. C. Rao, A. Govardhan, Ambika Prasad Mohanty:
Scalable Distributed Job Processing with Dynamic Load Balancing.
Guoqiang Mao, Zihuai Lin, Xiaohu Ge, Yang Yang:
Towards a Simple Relationship to Estimate the Capacity of Static and Mobile Wireless Networks.
Joël Goossens, Pascal Richard:
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation.
T. Chandrasekhar, K. Thangavel, E. N. Sathishkumar:
Verdict Accuracy of Quick Reduct Algorithm using Clustering and Classification Techniques for Gene Expression Data.
A. Nisthana Parveen, H. Hannah Inbarani, E. N. Sathishkumar:
Performance analysis of unsupervised feature selection methods.
Ferdous A. Barbhuiya, Santosh Biswas, Sukumar Nandi:
An Active Host-Based Intrusion Detection System for ARP-Related Attacks and its Verification.
Hitesh Chhinkaniwala, Sanjay Garg:
Tuple Value Based Multiplicative Data Perturbation Approach To Preserve Privacy In Data Stream Mining.
Hedi Raggad, Mohamed Latrach, Ali Gharsallah, T. Razban:
A Compact Dual Band Dielectric Resonator Antenna For Wireless Applications.
Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel:
Certified HLints with Isabelle/HOLCF-Prelude.
Binh-Minh Bui-Xuan, Mamadou Moustapha Kanté, Vincent Limouzy:
A Note on Graphs of Linear Rank-Width 1.
Xiangyun Zhou, Matthew R. McKay, Behrouz Maham, Are Hjørungnes:
Rethinking the Secrecy Outage Formulation: A Secure Transmission Design Perspective.
Tuomo Sipola, Fengyu Cong, Tapani Ristaniemi, Vinoo Alluri, Petri Toiviainen, Elvira Brattico, Asoke K. Nandi:
Diffusion map for clustering fMRI spatial maps extracted by independent component analysis.


Solomia Fedushko, Oksana Peleschyshyn, Andriy Peleschyshyn, Yuriy Syerov:
The verification of virtual community members socio-demographic profile.
Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino:
Sorting suffixes of a text via its Lyndon Factorization.
Kgotlaetsile Mathews Modieginyane, Zenzo Polite Ncube, Naison Gasela:
CUDA Based Performance Evaluation of the Computational Efficiency of the DCT Image Compression Technique on Both the CPU and GPU.
Jonathan Stuart Ward, Adam Barker:
A Cloud Computing Survey: Developments and Future Trends in Infrastructure as a Service Computing.
Deepali Virmani, Akshay Jain, Ankit Khandelwal, Divik Gupta, Nitin Garg:
Dynamic Clustering Protocol for Data Forwarding in Wireless Sensor Networks.
Spencer Greenberg, Mehryar Mohri:
Tight Lower Bound on the Probability of a Binomial Exceeding its Expectation.
Omar Khattab, Omar Alani:
I am 4 vho: new approach to improve seamless vertical hanover in heterogeneous wireless networks.
Bob L. Sturm:
The GTZAN dataset: Its contents, its faults, their effects on evaluation, and its future use.
Kanika Bansal, Rajiv Kumar:
K-Algorithm A Modified Technique for Noise Removal in Handwritten Documents.
Munther Abualkibash, Ahmed ElSayed, Ausif Mahmood:
Highly Scalable, Parallel and Distributed AdaBoost Algorithm using Light Weight Threads and Web Services on a Network of Multi-Core Machines.
Mohamed Amroune, Pierre-Jean Charrel, Nacereddine Zarour, Jean-Michel Inglebert:
A model driven engineering approach to develop a cooperative information system.
Rohallah Benaboud, Ramdane Maamri, Zaïdi Sahnoun:
Agents and owl-s based semantic web service discovery with user preference support.
Jie Chen, Kian Hsiang Low, Colin Keng-Yan Tan:
Gaussian Process-Based Decentralized Data Fusion and Active Sensing for Mobility-on-Demand System.
Tin Chi Nguyen, Zhiyu Zhao, Dongxiao Zhu:
SPATA: A Seeding and Patching Algorithm for Hybrid Transcriptome Assembly.
Bruno Scherrer, Matthieu Geist:
Policy Search: Any Local Optimum Enjoys a Global Performance Guarantee.
Alexandr Andoni, Piotr Indyk, Huy L. Nguyen, Ilya P. Razenshteyn:
Beyond Locality-Sensitive Hashing.
Sergey Rodionov, Alexey Potapov, Yurii Vinogradov:
Direct Uncertainty Estimation in Reinforcement Learning.
Martin Haenggi, Roxana Smarandache:
Diversity Polynomials for the Analysis of Temporal Correlations in Wireless Networks.
Alexey Potapov, Sergey Rodionov:
Extending Universal Intelligence Models with Formal Notion of Representation.
James Farre, Audrey Lee-St. John, Jessica Sidman, Louis Theran:
Special positions of body-and-cad frameworks.
Branko Ristic, Alex Skvortsov, Andrew Walker:
Autonomous search for a diffusive source in an unknown environment.
Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Infrared face recognition: a literature review.
Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Vesselness features and the inverse compositional AAM for robust face recognition using thermal IR.
Arunasalam Sambhanthan, Alice Good:
Enhancing Tourism Destination Accessibility in Developing Countries through Virtual Worlds.

Wenchao Huang, Yan Xiong, Xiang-Yang Li, Hao Lin, XuFei Mao, Panlong Yang, Yunhao Liu:
Accurate Indoor Localization Using Acoustic Direction Finding via Smart Phones.
Eckhard Hitzer:
Non-constant bounded holomorphic functions of hyperbolic numbers - Candidates for hyperbolic activation functions.
Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Sheung-Hung Poon, Yue-Li Wang:
Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio.
Michael A. Ruder, Raimund Meyer, Frank Obernosterer, Hans Kalveram, Robert Schober, Wolfgang H. Gerstacker:
Receiver Concepts and Resource Allocation for OSC Downlink Transmission.
Muhammed O. Sayin, Suleyman Serdar Kozat:
Single Bit and Reduced Dimension Diffusion Strategies Over Distributed Networks.
Sotiris E. Nikoletseas, Panagiota N. Panagopoulou, Christoforos Raptopoulos, Paul G. Spirakis:
On the Structure of Equilibria in Basic Network Formation.
Simon Razniewski, Marco Montali, Werner Nutt:
Verification of Query Completeness over Processes [Extended Version].
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
A DeterministicWorst-Case Message Complexity Optimal Solution for Resource Discovery.
Dmytro Karamshuk, Anastasios Noulas, Salvatore Scellato, Vincenzo Nicosia, Cecilia Mascolo:
Geo-Spotting: Mining Online Location-based Services for Optimal Retail Store Placement.
Alexander Petukhov, Inna Kozlov:
Fast greedy algorithm for subspace clustering from corrupted and incomplete data.
Nur Aini Rakhmawati, Jürgen Umbrich, Marcel Karnstedt, Ali Hasnain, Michael Hausenblas:
Querying over Federated SPARQL Endpoints - A State of the Art Survey.

Tamara Heck, Philipp Schaer:
Performing Informetric Analysis on Information Retrieval Test Collections: Preliminary Experiments in the Physics Domain.
Jinyuan Chen, Petros Elia:
Toward the Performance vs. Feedback Tradeoff for the Two-User MISO Broadcast Channel.
Federico Cabitza, Carla Simone:
Appropriation as neglected practice in communities: presenting a framework to enable EUD design for CoPs.
Isabel Méndez-Díaz, Graciela L. Nasini, Daniel E. Severin:
A new DSATUR-based algorithm for the Equitable Coloring Problem.
Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Joerg Widmer, Elli Zavou:
Measuring the Impact of Adversarial Errors on Packet Scheduling Strategies.
Daniel Graziotin, Xiaofeng Wang, Pekka Abrahamsson:
Are Happy Developers more Productive? The Correlation of Affective States of Software Developers and their self-assessed Productivity.
Daniel Graziotin, Pekka Abrahamsson:
Making Sense out of a Jungle of JavaScript Frameworks: towards a Practitioner-friendly Comparative Analysis.
Reza Shoja Ghiass, Ognjen Arandjelovic, Hakim Bendada, Xavier Maldague:
Illumination-invariant face recognition from a single image across extreme pose using a dual dimension AAM ensemble in the thermal infrared spectrum.

Ayad Ghany Ismaeel, Anar Auda Ablahad:
Enhancement of a Novel Method for Mutational Disease Prediction using Bioinformatics Techniques and Backpropagation Algorithm.
Marcel Nassar, Philip Schniter, Brian L. Evans:
A Factor Graph Approach to Joint OFDM Channel Estimation and Decoding in Impulsive Noise Environments.

Antonio Fernández Anta, Chryssis Georgiou, Dariusz R. Kowalski, Elli Zavou:
Online Parallel Scheduling of Non-uniform Tasks: Trading Failures for Energy.



Aakash Gupta, Pradeep Singla, Jitendra Gupta, Nitin Maheshwari:
An Improved Structure Of Reversible Adder And Subtractor.
María Elena Buemi, Alejandro César Frery, Heitor S. Ramos:
Speckle Reduction with Adaptive Stack Filters.
Mouhamed Abdulla, Yousef R. Shayan:
Analytical Coexistence Benchmark for Assessing the Utmost Interference Tolerated by IEEE 802.20.
András Lörincz, László A. Jeni, Zoltán Szabó, Jeffrey F. Cohn, Takeo Kanade:
Emotional Expression Classification using Time-Series Kernels.
Kirat Pal Singh, Dilip Kumar:
Performance Evaluation of Low Power MIPS Crypto Processor based on Cryptography Algorithms.
Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler:
Practical Inlining of Functions with Free Variables.
Theodoros Tsiligkaridis, Brian M. Sadler, Alfred O. Hero III:
Collaborative 20 Questions for Target Localization.
Joel M. Crichlow, Stephen J. Hartley, Michael Hosein:
A Light-Weight Distributed System for the processing of Replicated Counter-like Objects.
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke:
Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
Wan Fokkink, Dick Grune, Brinio Hond, Peter Rutgers:
Detecting Useless Transitions in Pushdown Automata.
Alexander Barabanov, Alexey Markov, Valentin Tsirlov:
A Formal Approach To Firewalls Testing Techniques.
Alexander Barabanov, Maxim Grishin, Alexey Markov:
The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware.
Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Masafumi Yamashita:
Rendezvous of Two Robots with Constant Memory.
Mauricio Soto, Christopher Thraves:
(c-)AND(1) graphs - more than intersection, more than geometric.
(Withdrawn) Pattern Recognition and Revealing using Parallel Coordinates Plot.
Se-Young Yun, Jinwoo Shin, Yung Yi:
CSMA over Time-varying Channels: Optimality, Uniqueness and Limited Backoff Rate.
Xiongbin Rao, Liangzhong Ruan, Vincent K. N. Lau:
CSI Feedback Reduction for MIMO Interference Alignment.
Ion Petre:
Proceedings Fourth International Workshop on Computational Models for Cell Processes, CompMod 2013, Turku, Finland, 11th June 2013. EPTCS 116, 2013 [contents]
Tshilidzi Marwala:
Flexibly-bounded Rationality and Marginalization of Irrationality Theories for Decision Making.
Elena Zattoni, Anna Maria Perdon, Giuseppe Conte:
A Numerical Example about the Geometric Approach to the Output Regulation Problem with Stability for Linear Switching Systems.
Zhiqing Wei:
A Raindrop Algorithm for Searching The Global Optimal Solution in Non-linear Programming.
Md. Jawaherul Alam, Stephen G. Kobourov, Sergey Pupyrev, Jackson Toeniskoetter:
Threshold-Coloring of Archimedean and Laves Lattices.

Martin Fink, Sergey Pupyrev:
Metro-Line Crossing Minimization: Hardness, Approximations, and Tractable Cases.

Nathan Schneider, Brendan O'Connor, Naomi Saphra, David Bamman, Manaal Faruqui, Noah A. Smith, Chris Dyer, Jason Baldridge:
A framework for (under)specifying dependency syntax without overloading annotators.
Kiyana Zolfaghar, Nele Verbiest, Jayshree Agarwal, Naren Meadem, Si-Chi Chin, Senjuti Basu Roy, Ankur Teredesai, David Hazel, Paul Amoroso, Lester Reed:
Predicting Risk-of-Readmission for Congestive Heart Failure Patients: A Multi-Layer Approach.
Kenichi Kobayashi, Manabu Kamimura, Koki Kato, Keisuke Yano, Akihiko Matsuo:
Feature-Gathering Dependency-Based Software Clustering Using Dedication and Modularity.
Ognjen Arandjelovic:
Discriminative extended canonical correlation analysis for pattern set matching.
Giovanni Geraci, Sarabjot Singh, Jeffrey G. Andrews, Jinhong Yuan, Iain B. Collings:
Secrecy Rates in the Broadcast Channel with Confidential Messages and External Eavesdroppers.

Olivier Bodini, Alice Jacquot, Philippe Duchon, Ljuben R. Mutafchiev:
Asymptotic Analysis and Random Sampling of Digitally Convex Polyominoes.
Daniel Meister, Udi Rotics:
Minimal forbidden induced subgraphs of graphs of bounded clique-width and bounded linear clique-width.
E. N. Sathishkumar, K. Thangavel, T. Chandrasekhar:
A Novel Approach for Single Gene Selection Using Clustering and Dimensionality Reduction.
Francis R. Bach, Eric Moulines:
Non-strongly-convex smooth stochastic approximation with convergence rate O(1/n).
Karl Moritz Hermann, Edward Grefenstette, Phil Blunsom:
"Not not bad" is not "bad": A distributional account of negation.
Mikhail V. Kharinov:
Image segmentation by optimal and hierarchical piecewise constant approximations.
Ranieri Baraglia, Patrizio Dazzi, Matteo Mordacchini, Laura Ricci:
ATLAAS-P2P: a two layer network solution for easing the resource discovery process in unstructured networks.
Nadia Creignou, Arne Meier, Julian-Steffen Müller, Johannes Schmidt, Heribert Vollmer:
Paradigms for Parameterized Enumeration.
Pavel Klavík, Jan Kratochvíl, Yota Otachi, Toshiki Saitoh, Tomás Vyskocil:
Linear-time Algorithm for Partial Representation Extension of Interval Graphs.
Edouard Bonnet, Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire:
Multi-parameter complexity analysis for constrained size graph problems: using greediness for parameterization.
Jason Cloud, Flávio du Pin Calmon, Weifei Zeng, Giovanni Pau, Linda Zeger, Muriel Médard:
Multi-Path TCP with Network Coding for Mobile Devices in Heterogeneous Networks.
Iztok Fister, Iztok Fister Jr.:
Using the quaternion's representation of individuals in swarm intelligence and evolutionary computation.
Dimitris Vartziotis, Benjamin Himpel:
An Efficient and Global Optimization-Based Smoothing Method for Mixed-Volume Meshes.


Gianluca Amato, Francesca Scozzari:
Optimal multi-binding unification for sharing and linearity analysis.
Alejandro Edera, Facundo Bromberg, Federico Schlüter:
Markov random fields factorization with context-specific independences.
Sadegh Motallebi, Sadegh Aliakbary, Jafar Habibi:
GMSCN: Generative Model Selection Using a Scalable and Size-Independent Complex Network Classifier.
Sivan Sabato, Anand D. Sarwate, Nathan Srebro:
Auditing: Active Learning with Outcome-Dependent Query Costs.
Veljko Pejovic, Mirco Musolesi:
Anticipatory Mobile Computing: A Survey of the State of the Art and Research Challenges.
Patrick Clarke, Rodrigo C. de Lamare:
Joint Transmit Diversity Optimization and Relay Selection for Cooperative MIMO Systems using Discrete Stochastic Algorithms.
Patrick Clarke, Rodrigo C. de Lamare:
Bidirectional MMSE Algorithms for Interference Mitigation in CDMA Systems over Fast Fading Channels.
Junghoon Lee, Cihan Tepedelenlioglu:
Distributed Detection in Coexisting Large-scale Sensor Networks.


Luca Bortolussi, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents]
Paulo Sérgio Medeiros dos Santos, Guilherme Horta Travassos:
Action Research Can Swing the Balance in Experimental Software Engineering.
Kai Cai, Renyuan Zhang, Walter Murray Wonham:
Relative Observability of Discrete-Event Systems and its Supremal Sublanguages.
Shantanu Pathak, Ranjani S:
Ber Performance Analysis of WiMAX PHY Layer under different channel conditions.
Karsten Fyhn, Marco F. Duarte, Søren Holdt Jensen:
Compressive Time Delay Estimation Using Interpolation.
Dibakar Saha, Nabanita Das:
A Fast Fault Tolerant Partitioning Algorithm for Wireless Sensor Networks.
Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., John Feo:
Fast Search for Dynamic Multi-Relational Graphs.
Sutanay Choudhury, Lawrence B. Holder, George Chin Jr., Abhik Ray, Sherman Beus, John Feo:
StreamWorks - A system for Dynamic Graph Search.
Viet Hung Nguyen, Fabio Massacci:
A Systematically Empirical Evaluation of Vulnerability Discovery Models: a Study on Browsers' Vulnerabilities.
George Grispos, William Bradley Glisson, Tim Storer:
Cloud Security Challenges: Investigating Policies, Standards, and Guidelines in a Fortune 500 Organization.
Emanuele Giaquinta, Kimmo Fredriksson, Szymon Grabowski, Alexandru I. Tomescu, Esko Ukkonen:
Motif matching using gapped patterns.
Virendra Sule:
Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion.
Mohammed Alaeddine Abderrahim, Mohammed El Amine Abderrahim, Mohammed Amine Chikh:
Using Arabic Wordnet for semantic indexation in information retrieval system.
Sukhpal Singh, Harinder Singh:
Case Study Based Software Engineering Project Development: State of Art.
(Withdrawn) DISCOMAX: A Proximity-Preserving Distance Correlation Maximization Algorithm.
Shubh Narayan Singh, Kanduru V. Krishna:
The Holonomy Decomposition of Circular Semi-Flower Automata.
Georg Böcherer, Rana Ali Amjad:
Fixed-to-Variable Length Resolution Coding for Target Distributions.
Andrea Pietracaprina, Geppino Pucci, Francesco Silvestri, Fabio Vandin:
Space-Efficient Parallel Algorithms for Combinatorial Search Problems.
Richard Combes, Ilham El Bouloumi, Stéphane Sénécal, Zwi Altman:
The association problem in wireless networks: a Policy Gradient Reinforcement Learning approach.
Pradeep Singla, Aakash Gupta, Ashutosh Bhardwaj, Pulkit Basia:
An Optimized Design of Reversible Sequential Digital Circuits.
Prashanth L. A., Nathaniel Korda, Rémi Munos:
Analysis of stochastic approximation for efficient least squares regression and LSTD.
William W. Cohen, David P. Redlawsk, Douglas Pierce:
The Effect of Biased Communications On Both Trusting and Suspicious Voters.
(Withdrawn) A note on small cuts for a terminal.
Eleftherios Kofidis:
Preamble-based Channel Estimation in OFDM/OQAM Systems: A Time-Domain Approach.
Elaine Tsiang:
A 10-dimensional Phonetic-prosodic Space and its Stochastic Structure (A framework for probabilistic modeling of spoken languages and their phonology).


Janusz Miskiewicz:
Effects of Publications in Proceedings on the Measure of the Core Size of Coauthors.
Yasel Garcés Suárez, Esley Torres, Osvaldo Pereira, Claudia Pérez, Roberto Rogríguez:
Stopping Criterion for the Mean Shift Iterative Algorithm.

Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. 1-18

Viktor Schuppan:
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. 49-65
Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. 66-80
Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. 81-96

An Liu, Vincent K. N. Lau:
Cache-Enabled Opportunistic Cooperative MIMO for Video Streaming in Wireless Systems.

Xuhui Fan, Longbing Cao, Richard Yi Da Xu:
Copula Mixed-Membership Stochastic Blockmodel for Intra-Subgroup Correlations.
Anvar Tukmanov, Said Boussakta, Zhiguo Ding, Abbas Jamalipour:
On the Impact of Relay-side Channel State Information on Opportunistic Relaying.
Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko:
S+Net: extending functional coordination with extra-functional semantics.
Jingjing Xie, Bing Xu, Chuang Zhang:
Horizontal and Vertical Ensemble with Deep Representation for Classification.
Kyunghyun Cho:
Understanding Dropout: Training Multi-Layer Perceptrons with Auxiliary Independent Stochastic Neurons.
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston:
Solving Parity Games on Integer Vectors.
Casper Kejlberg-Rasmussen, Yufei Tao, Konstantinos Tsakalidis, Kostas Tsichlas, Jeonghun Yoon:
I/O-Efficient Planar Range Skyline and Attrition Priority Queues.
Roberto Di Pietro, Luigi V. Mancini, Antonio Villani, Domenico Vitali:
Mapping the File Systems Genome: rationales, technique, results and applications.
Diederik Aerts, Jan Broekaert, Sandro Sozzo, Tomas Veloz:
The Quantum Challenge in Concept Theory and Natural Language Processing.

Catarina Moreira, Andreas Wichert:
Finding Academic Experts on a MultiSensor Approach using Shannon's Entropy.
Shenghui Wang, Antoine Isaac, Valentine Charles, Rob Koopman, Anthi Agoropoulou, Titia van der Werf:
Hierarchical structuring of Cultural Heritage objects within large aggregations.
Valentine Charles, Antoine Isaac, Kate Fernie, Costis J. Dallas, Dimitris Gavrilis, Stavros Angelis:
Achieving interoperability between the CARARE schema for monuments and sites and the Europeana Data Model.
Samir Medina Perlaza, Ravi Tandon, H. Vincent Poor, Zhu Han:
Perfect Output Feedback in the Two-User Decentralized Interference Channel.
Haichang Gao, Zhongjie Ren, Xiuling Chang, Xiyang Liu, Uwe Aickelin:
A New Graphical Password Scheme Resistant to Shoulder-Surfing.
Haichang Gao, Honggang Liu, Dan Yao, Xiyang Liu, Uwe Aickelin:
An audio CAPTCHA to distinguish humans from computers.
Kawthar Yasmine Zergat, Abderrahmane Amrouche:
Robust Support Vector Machines for Speaker Verification Task.
Prachi Goyal, Vikram Kamat, Neeldhara Misra:
On the Parameterized Complexity of the Maximum Edge Coloring Problem.
(Withdrawn) Optimization of Clustering for Clustering-based Image Denoising.
(Withdrawn) Matching with our Eyes Closed.


Omer Reingold, Thomas Steinke, Salil P. Vadhan:
Pseudorandomness for Regular Branching Programs via Fourier Analysis.
Utkarsh R. Patel, Bjorn Gustavsen, Piero Triverio:
Proximity-Aware Calculation of Cable Series Impedance for Systems of Solid and Hollow Conductors.
Karl Bringmann, Christian Engels, Bodo Manthey, B. V. Raghavendra Rao:
Random Shortest Paths: Non-Euclidean Instances for Metric Optimization Problems.
Kazutaka Kurihara, Masakazu Takasu, Kazuhiro Sasao, Hal Seki, Takayuki Narabu, Mitsuo Yamamoto, Satoshi Iida, Hiroyuki Yamamoto:
A Face-like Structure Detection on Planet and Satellite Surfaces using Image Processing.
Saeed Afshar, Gregory Cohen, Runchun Wang, André van Schaik, Jonathan Tapson, Torsten Lehmann, Tara Julia Hamilton:
The Ripple Pond: Enabling Spiking Networks to See.
Haichang Gao, Zhongjie Ren, Xiuling Chang, Xiyang Liu, Uwe Aickelin:
The effect of baroque music on the PassPoints graphical password.
Haichang Gao, Xiuling Chang, Zhongjie Ren, Uwe Aickelin, Liming Wang:
Can background baroque music help to improve the memorability of graphical passwords?
Sébastien Paris, Yann Doh, Hervé Glotin, Xanadu Halkias, Joseph Razik:
Physeter catodon localization by sparse coding.
Matthew England:
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance.
Mélanie Noyel, Philippe Thomas, Patrick Charpentier, André Thomas, Bruno Beaupretre:
Improving production process performance thanks to neuronal analysis.
Jorge Hernández, Beatriz Marcotegui:
Segmentation et Interprétation de Nuages de Points pour la Modélisation d'Environnements Urbains.
Rania Morsi, Diomidis S. Michalopoulos, Robert Schober:
Multi-user Scheduling Schemes for Joint Wireless Information and Energy Transfer.
(Withdrawn) Computer Architecture with Associative Processor Replacing Last Level Cache and SIMD Accelerator.
(Withdrawn) Multimaterial Front Tracking.
Christopher Griffin, George Kesidis:
Good Behavior in a Communications System with Cooperative, Greedy, and Vigilante Players.
Christopher Griffin, George Kesidis, Panayotis Antoniadis, Serge Fdida:
Modeling and Control of Rare Segments in BitTorrent with Epidemic Dynamics.
Kishore Reddy Konda, Roland Memisevic, Vincent Michalski:
The role of spatio-temporal synchrony in the encoding of motion.
Vasilios A. Siris, Dimitrios Kalyvas:
Enhancing Mobile Data Offloading with Mobility Prediction and Prefetching.


Cho-Jui Hsieh, Mátyás A. Sustik, Inderjit S. Dhillon, Pradeep Ravikumar:
Sparse Inverse Covariance Matrix Estimation Using Quadratic Approximation.
P. Buckheister, Georg Zetzsche:
Semilinearity and Context-Freeness of Languages Accepted by Valence Automata.
Vincent Larivière, Cassidy R. Sugimoto, Benoit Macaluso, Stasa Milojevic, Blaise Cronin, Mike Thelwall:
arXiv e-prints and the journal of record: An analysis of roles and relationships.
Edith Cohen:
Scalable Neighborhood Sketching and Distance Distribution Estimation in Graph Datasets: Revisited, Unified, and Improved.
Quan Wang, Kim L. Boyer:
Feature Learning by Multidimensional Scaling and its Applications in Object Recognition.
Mary W. Hall, Robert M. Kirby, Feifei Li, Miriah D. Meyer, Valerio Pascucci, Jeff M. Phillips, Robert Ricci, Jacobus E. van der Merwe, Suresh Venkatasubramanian:
Rethinking Abstractions for Big Data: Why, Where, How, and What.
Leonid Yavits, Amir Morad, Ran Ginosar:
The Effect of Communication and Synchronization on Amdahl Law in Multicore Systems.
Zhong Fan, Russell J. Haines, Parag Kulkarni:
M2M Communications for E-Health and Smart Grid: An Industry and Standard Perspective.
Zheng Pan, Changshui Zhang:
A Theory of High-dimensional Sparse Estimation via Non-Convex Regularized Regression.
Natalia Amelina, Alexander L. Fradkov, Yuming Jiang, Dimitrios J. Vergados:
Approximate Consensus Multi-Agent Control Under Stochastic Environment with Application to Load Balancing.
Laura Balzano, Stephen J. Wright:
Local Convergence of an Algorithm for Subspace Identification from Partial Data.

Amaldev Manuel, Thomas Schwentick, Thomas Zeume:
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
Pierrick Burgain, Sang Hyun Kim, Eric Feron:
Valuating Surface Surveillance Technology for Collaborative Multiple-Spot Control of Airport Departure Operations.
Rushikesh Kamalapurkar, Justin Klotz, Ryan Downey, Warren E. Dixon:
Supporting Lemmas for RISE-based Control Methods.
Amanda de Paula, Cristiano Panazio:
Comparison of OFDM and SC-DFE Capacities Without Channel Knowledge at the Transmitter.
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem:
EFSMT: A Logical Framework for Cyber-Physical Systems.
James Bergstra, David D. Cox:
Hyperparameter Optimization and Boosting for Classifying Facial Expressions: How good can a "Null" Model be?
(Withdrawn) A Faster Algorithm for Packing Branchings in Digraphs.
Xun Gong, Negar Kiyavash, Parv Venkitasubramaniam:
An Information Theoretic Study of Timing Side Channels in Two-user Schedulers.
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Ziadi:
Extended to Multi-Tilde-Bar Regular Expressions and Efficient Finite Automata Constructions.
Bogdan Gliwa, Piotr Bródka, Anna Zygmunt, Stanislaw Saganowski, Przemyslaw Kazienko, Jaroslaw Kozlak:
Different Approaches to Community Evolution Prediction in Blogosphere.
Alexandre J. Raymond, Warren J. Gross:
Scalable Successive-Cancellation Hardware Decoder for Polar Codes.
Lucas Janson, Marco Pavone:
Fast Marching Trees: a Fast Marching Sampling-Based Method for Optimal Motion Planning in Many Dimensions - Extended Version.
Ashish Vulimiri, Brighten Godfrey, Scott Shenker:
A cost-benefit analysis of low latency via added utilization.
Yoshio Okamoto, Yuichi Tatsu, Yushi Uno:
Exact and fixed-parameter algorithms for metro-line crossing minimization problems.
Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning.
Randal C. Burns, William R. Gray Roncal, Dean Kleissas, Kunal Lillaney, Priya Manavalan, Eric A. Perlman, Daniel R. Berger, Davi Bock, Kwanghun Chung, Logan Grosenick, Narayanan Kasthuri, Nicholas C. Weiler, Karl Deisseroth, Michael M. Kazhdan, Jeff Lichtman, R. Clay Reid, Stephen J. Smith, Alexander S. Szalay, Joshua T. Vogelstein, R. Jacob Vogelstein:
The Open Connectome Project Data Cluster: Scalable Analysis and Vision for High-Throughput Neuroscience.
Saadat Anwar, Chitta Baral, Katsumi Inoue:
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.
Michael Zillich, Maren Bennewitz, Maria Fox, Justus H. Piater, Dejan Pangercic:
Proceedings of the 2nd Workshop on Robots in Clutter: Preparing robots for the real world (Berlin, 2013).
Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli, Giuseppe Manco:
Outlying Property Detection with Numerical Attributes.
Sean Ryan Fanello, Carlo Ciliberto, Matteo Santoro, Lorenzo Natale, Giorgio Metta, Lorenzo Rosasco, Francesca Odone:
iCub World: Friendly Robots Help Building Good Vision Data-Sets.
Nal Kalchbrenner, Phil Blunsom:
Recurrent Convolutional Neural Networks for Discourse Compositionality.
Shenshi Chen, Zhixiang Chen:
Faster Deterministic Algorithms for Packing, Matching and t-Dominating Set Problems.
Christian Schlegel, Marat V. Burnashev:
Thresholds of Spatially Coupled Systems via Lyapunov's Method.
David García, Marcelo Serrano Zanetti, Frank Schweitzer:
The Role of Emotions in Contributors Activity: A Case Study on the GENTOO Community.
Mingxin Zhou, Leiming Zhang, Lingyang Song, Mérouane Debbah:
A Differential Feedback Scheme Exploiting the Temporal and Spectral Correlation.
Shilin Lu, Rajiv Ranjan, Peter Strazdins:
Reporting an Experience on Design and Implementation of e-Health Systems on Azure Cloud.
Vasilios A. Siris, Maria Anagnostopoulou:
Performance and Energy Efficiency of Mobile Data Offloading with Mobility Prediction and Prefetching.
David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones:
Pattern-Based Plan Construction for the Workflow Satisfiability Problem.
Felipe Sánchez-Martínez, Isabel Martínez-Sempere, Xavier Ivars-Ribes, Rafael C. Carrasco:
An open diachronic corpus of historical Spanish: annotation criteria and automatic modernisation of spelling.
Shachar Shayovitz, Dan Raphaeli:
Message Passing Algorithms for Phase Noise Tracking Using Tikhonov Mixtures.
Ashish Vulimiri, Brighten Godfrey, Radhika Mittal, Justine Sherry, Sylvia Ratnasamy, Scott Shenker:
Low latency via redundancy.
Xiaoming Chen, Rui Yin:
Performance Analysis for Physical Layer Security in Multi-Antenna Downlink Networks with Limited CSI Feedback.



Menghui Li, Hailin Zou, Shuguang Guan, Xiaofeng Gong, Kun Li, Zengru Di, Choy Heng Lai:
A coevolving model based on preferential triadic closure for social media networks.
MohammadTaghi Hajiaghayi, Rohit Khandekar, M. Reza Khani, Guy Kortsarz:
Approximation Algorithms for Movement Repairmen.
Simon Harper, Tianyi Chen, Yeliz Yesilada:
Controlled Experimentation in Naturalistic Mobile Settings.





Salvatore Talarico, Matthew C. Valenti, Don J. Torrieri:
Analysis of Multi-Cell Downlink Cooperation with a Constrained Spatial Model.
Sebastian Wild, Markus E. Nebel, Hosam Mahmoud:
Analysis of Quickselect under Yaroslavskiy's Dual-Pivoting Algorithm.

Daniel W. Archambault, Derek Greene, Pádraig Cunningham:
TwitterCrowds: Techniques for Exploring Topic and Sentiment in Microblogging Data.

Peter Sarlin, Samuel Rönnqvist:
Cluster coloring of the Self-Organizing Map: An information visualization perspective.
Kyunghyun Cho, Xi Chen:
Classifying and Visualizing Motion Capture Sequences using Deep Neural Networks.
Tiancheng Li, Tariq Pervez Sattar, Qing Han, Shudong Sun:
Roughening Methods to Prevent Sample Impoverishment in the Particle PHD Filter.
Anudhyan Boral, Marek Cygan, Tomasz Kociumaka, Marcin Pilipczuk:
Fast branching algorithm for Cluster Vertex Deletion.
Peter Schrammel, Tom Melham, Daniel Kroening:
Chaining Test Cases for Reactive System Testing (extended version).



Marco Baldi, Marco Bianchi, Nicola Maturo, Franco Chiaraluce:
Improving the efficiency of the LDPC code-based McEliece cryptosystem through irregular codes.
Ishita Bhakta, Sandip Chakraborty, Debarshi Kumar Sanyal, Barsha Mitra, Samiran Chattopadhyay, Matangini Chattopadhyay:
Designing an Efficient Delay Sensitive Routing Metric for IEEE 802.16 Mesh Networks.
Masoud Saeida Ardekani, Pierre Sutra, Nuno M. Preguiça, Marc Shapiro:
Non-Monotonic Snapshot Isolation.
Xujin Chen, Donglei Du, Luis Fernando Zuluaga:
Copula-based Randomized Mechanisms for Truthful Scheduling on Two Unrelated Machines.
Laura Bernadó, Thomas Zemen, Fredrik Tufvesson, Andreas F. Molisch, Christoph F. Mecklenbräuker:
Time-, Frequency-, and Space-varying K-Factor of Non-Stationary Vehicular Channels for Safety Relevant Scenarios.
Thiago C. Silva, Diego R. Amancio:
Discriminating word senses with tourist walks in complex networks.

Mohammed El Amine Abderrahim, Benameur Said, Mohammed Alaeddine Abderrahim:
The Number of Terms and Documents for Pseudo-Relevant Feedback for Ad-hoc Information Retrieval.
Adel Alti, Philippe Roose:
A New Approach for Quality Management in Pervasive Computing Environments.

Mikhail Ivanov, Alex Alvarado, Fredrik Brannstrom, Erik Agrell:
On the Asymptotic Performance of Bit-Wise Decoders for Coded Modulation.

V. Sriram Siddhardh Nadendla, Yunghsiang S. Han, Pramod K. Varshney:
Distributed Inference with M-ary Quantized Data in the Presence of Byzantine Attacks.
Hector Ferrada, Travis Gagie, Tommi Hirvola, Simon J. Puglisi:
Hybrid Indexes for Repetitive Datasets.
Carlos Sarraute, Gerardo Richarte, Jorge Lucángeli Obes:
An Algorithm to Find Optimal Attack Paths in Nondeterministic Scenarios.
Sergey Bereg, Alexander E. Holroyd, Lev Nachmanson, Sergey Pupyrev:
Drawing Permutations with Few Corners.
Shariq Hussain, Zhaoshun Wang, Ibrahima Kalil Toure, Abdoulaye Diop:
Web Service Testing Tools: A Comparative Study.
Tom Z. J. Fu, Qiufang Ying, Dah Ming Chiu:
MYE: Missing Year Estimation in Academic Social Networks.
Azhar Mahmood, Ke Shi, Shaheen Khatoon:
An Efficient Distributed Data Extraction Method for Mining Sensor Networks Data.
Nitin Jagadish, Manoj H., Nishanth K. Prasad, Sunil Kumar K. M:
A Microcontroller Based Device to Reduce Phanthom Power.
Yatao Bian, Xiong Li, Yuncai Liu:
Parallel Coordinate Descent Newton for Large-scale L1-Regularized Minimization.
Sohail Abid, Imran Shafi, Shahid Abid:
Energy efficient routing in mobile ad-hoc networks for Healthcare Environments.
Mauro Femminella, Gianluca Reali, Roberto Francescangeli:
Modeling the guaranteed delivery of bulk data.

Xiaolin Wang, Xun Qiu:
Application of particle swarm optimization for enhanced cyclic steam stimulation in a offshore heavy oil reservoir.
Mohammadi Akheela Khanum, Munesh Chandra Trivedi:
Exploring Verbalization and Collaboration during Usability Evaluation with Children in Context.
Andreas Björklund, Petteri Kaski, Lukasz Kowalik:
Counting thin subgraphs via packings faster than meet-in-the-middle time.
Manfred Sneps-Sneppe, Anatoly Maximenko, Dmitry Namiot:
On M2M communications standards for smart metering.

Jean Marc Kelif, Marceau Coupechoux, Marc Sigelle:
Optimal Relay Placement for Capacity and Performance Improvement using a Fluid Model for Heterogeneous Wireless Networks.

Jean-Noël Quintin, Khalid Hasanov, Alexey L. Lastovetsky:
Hierarchical Parallel Matrix Multiplication on Large-Scale Distributed Memory Platforms.
Lachlan J. Gunn, James M. Chappell, Andrew Allison, Derek Abbott:
Physical-layer encryption on the public internet: a stochastic approach to the Kish-Sethuraman cipher.
Iñaki Ucar, Felipe López-Fernandino, Pablo Rodriguez-Ulibarri, Laura Sesma-Sanchez, Veronica Urrea-Micó, Joaquín Sevilla:
Growth in the number of references in engineering journal papers during the 1972-2013 period.
Anvar Tukmanov, Zhiguo Ding, Said Boussakta, Abbas Jamalipour:
On the Broadcast Latency in Finite Cooperative Wireless Networks.
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain:
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
Razvan Barbulescu, Pierrick Gaudry, Antoine Joux, Emmanuel Thomé:
A quasi-polynomial algorithm for discrete logarithm in finite fields of small characteristic.
Omar S. Gómez, José L. Batún, Raúl A. Aguilar:
Pair versus Solo Programming - An Experience Report from a Course on Design of Experiments in Software Engineering.
Kang Ning, Kwok Pui Choi:
Systematic assessment of the expected length, variance and distribution of Longest Common Subsequences.
Sasan Maleki, Long Tran-Thanh, Greg Hines, Talal Rahwan, Alex Rogers:
Bounding the Estimation Error of Sampling-based Shapley Value Approximation With/Without Stratifying.
Chaker Ben Mahmoud, Fathia Bettahar, Hajer Abderrahim, Houda Saidi:
Towards a Graph-Based Approach for Web Services Composition.
Moshe Lewenstein, J. Ian Munro, Venkatesh Raman:
Succinct data structures for representing equivalence classes.
Songcen Xu, Rodrigo C. de Lamare:
Distributed conjugate gradient strategies for parameter estimation over sensor networks.
Vishakha Metre, Jayshree Ghorpade:
An Overview of the Research on Texture Based Plant Leaf Classification.
Anatoly Khina, Ayal Hitron, Idan Livni, Uri Erez:
Joint Unitary Triangularization for Gaussian Multi-User MIMO Networks.
Cédric Chauve, Murray Patterson, Ashok Rajaraman:
Hypergraph covering problems motivated by genome assembly questions.
Christophe Schülke, Francesco Caltagirone, Florent Krzakala, Lenka Zdeborová:
Blind Calibration in Compressed Sensing using Message Passing Algorithms.
António Leslie Bajuelos, Santiago Canales, Gregorio Hernández-Peñalver, Ana Mafalda Martins, Inês Matos:
Some Results on Open Edge and Open Mobile Guarding of Polygons and Triangulations.
Sears Merritt, Aaron Clauset:
Social Network Dynamics in a Massive Online Game: Network Turnover, Non-densification, and Team Engagement in Halo Reach.
Akshay Soni, Jarvis D. Haupt:
On the Fundamental Limits of Recovering Tree Sparse Vectors from Noisy Linear Measurements.
Mostafa Saadi, Moulay Lahcen Hasnaoui, Abderrahim Beni Hssane, Said Benkirane, Mohamed Laghdir:
Energy-Aware Scheme used in Multi-level Heterogeneous Wireless Sensor Networks.
Chitta Baral, Nguyen Ha Vo:
Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information.
Ronald Y. Chang, Sian-Jheng Lin, Wei-Ho Chung:
Symbol and Bit Mapping Optimization for Physical-Layer Network Coding with Pulse Amplitude Modulation.
Nithin K. Anil, Sharath Basil Kurian, Aby Abahai T, Surekha Mariam Varghese:
Multidimensional User Data Model for Web Personalization.
Giuseppe Ateniese, Giovanni Felici, Luigi V. Mancini, Angelo Spognardi, Antonio Villani, Domenico Vitali:
Hacking Smart Machines with Smarter Ones: How to Extract Meaningful Data from Machine Learning Classifiers.
Ahmed Faouzi, Charif Mabrouki, Alami Semma:
Modeling a repository of modules for ports Terminals Operating System (TOS).
Lutz Bornmann, Loet Leydesdorff, Jian Wang:
Which percentile-based approach should be preferred for calculating normalized citation impact values? An empirical comparison of five approaches including a newly developed one (P100).
Michal Certický:
Implementing a Wall-In Building Placement in StarCraft with Declarative Programming.
Andris Ambainis, Yihan Gao, Jieming Mao, Xiaoming Sun, Song Zuo:
New upper bound on block sensitivity and certificate complexity in terms of sensitivity.
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer:
A Generic Scheme and Properties of Bidirectional Transformations.
Stefanie Wuhrer, Jochen Lang, Motahareh Tekieh, Chang Shu:
Finite Element Based Tracking of Deforming Surfaces.
Bessaoudi Talel, Fayçal Ben Hmida:
Robust State and fault Estimation of Linear Discrete Time Systems with Unknown Disturbances.
Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A temporal logic approach to modular design of synthetic biological circuits.
Antonios Pitarokoilis, Saif Khan Mohammed, Erik G. Larsson:
Uplink Performance of Time-Reversal MRC in Massive MIMO Systems Subject to Phase Noise.
Henrik J. Nyman, Peter Sarlin:
From Bits to Atoms: 3D Printing in the Context of Supply Chain Strategies.
Mohsen Yousefbeiki, Julien Perruisseau-Carrier:
Towards Compact and Frequency-Tunable Antenna Solutions for MIMO Transmission with a Single RF Chain.
Deepak Ajwani, Nodari Sitchinava:
Empirical Evaluation of the Parallel Distribution Sweeping Framework on Multicore Architectures.
Antonio Lima, Manlio De Domenico, Veljko Pejovic, Mirco Musolesi:
Exploiting Cellular Data for Disease Containment and Information Campaigns Strategies in Country-Wide Epidemics.

Felix Krahmer, Rayan Saab, Özgür Yilmaz:
Sigma-Delta quantization of sub-Gaussian frame expansions and its application to compressed sensing.
(Withdrawn) A Novel Lowest Density MDS Array Code.
Tirtharaj Dash:
Time Efficient Approach To Offline Hand Written Character Recognition Using Associative Memory Net.
Abdoulaye Diop, Yue Qi, Qin Wang, Shariq Hussain:
An Advanced Survey on Secure Energy-Efficient Hierarchical Routing Protocols in Wireless Sensor Networks.
Luís Marujo, Márcio Viveiros, João Paulo da Silva Neto:
Keyphrase Cloud Generation of Broadcast News.
Luís Marujo, Miguel Bugalho, João Paulo da Silva Neto, Anatole Gershman, Jaime G. Carbonell:
Hourly Traffic Prediction of News Stories.




Tirtharaj Dash, Tanistha Nayak:
Non-Correlated Character Recognition using Artificial Neural Network.
Sumit Goswami, Mayank Singh Shishodia:
A Fuzzy Based Approach to Text Mining and Document Clustering.
Tomás Babiak, Frantisek Blahoudek, Mojmír Kretínský, Jan Strejcek:
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.




Tirtharaj Dash, Goutam Mishra, Tanistha Nayak:
A Novel Approach for Intelligent Robot Path Planning.

Arian Shoari, Alireza Seyedi:
On Localization of A Non-Cooperative Target with Non-Coherent Binary Detectors.
Dawei Zhao, Haipeng Peng, Lixiang Li, Yixian Yang:
A secure and effective anonymous authentication scheme for roaming service in global mobility networks.
Daniel Paul Barrett, Jeffrey Mark Siskind:
Felzenszwalb-Baum-Welch: Event Detection by Changing Appearance.
Armin Eftekhari, Michael B. Wakin:
New Analysis of Manifold Embeddings and Signal Recovery from Compressive Measurements.

Shuying Li, Chen Gong, Xiaodong Wang:
Hybrid Group Decoding for Scalable Video over MIMO-OFDM Downlink Systems.
Yuming Jiang:
Performance Bounds for Multiclass FIFO in Communication Networks: A Deterministic Case.
Fawzi Hasan Altaany, Firas Ajil Jassim:
Impact of Facebook Usage on Undergraduate Students Performance in Irbid National University: Case Study.

Muhammad Rizwan Asghar, Mihaela Ion, Giovanni Russello, Bruno Crispo:
ESPOON: Enforcing Encrypted Security Policies in Outsourced Environments.
Eitan Menahem, Gabi Nakibly, Yuval Elovici:
ACTIDS: An Active Strategy For Detecting And Localizing Network Attacks.
Matteo Piva, Massimiliano Sala:
A generalization of bounds for cyclic codes, including the HT and BS bounds.
Valeria Aman:
The potential of preprints to accelerate scholarly communication - A bibliometric analysis based on selected journals.
Abderrahmen Bouguerra, Djamel Saigaa, Kamel Kara, Samir Zeghlache, Keltoum Loukal:
Fault-Tolerant Control of a 2 DOF Helicopter (TRMS System) Based on H_infinity.
Jean Cardinal, Sébastien Collette, Hiro Ito, Matias Korman, Stefan Langerman, Hikaru Sakaidani, Perouz Taslakian:
Cannibal Animal Games: a new variant of Tic-Tac-Toe.
Luís Marujo, Anatole Gershman, Jaime G. Carbonell, Robert E. Frederking, João Paulo Neto:
Supervised Topical Key Phrase Extraction of News Stories using Crowdsourcing, Light Filtering and Co-reference Normalization.
Luís Marujo, Ricardo Ribeiro, David Martins de Matos, João Paulo Neto, Anatole Gershman, Jaime G. Carbonell:
Key Phrase Extraction of Lightly Filtered Broadcast News.
(Withdrawn) PMU-based Voltage Instability Detection through Linear Regression.
Radim Belohlávek, Martin Trnecka:
From-Below Approximations in Boolean Matrix Factorization: Geometry and New Algorithm.
Luís Marujo, Wang Ling, Anatole Gershman, Jaime G. Carbonell, João Paulo Neto, David Martins de Matos:
Recognition of Named-Event Passages in News Articles.
Natashia Boland, Thomas Kalinowski, Reena Kapoor, Simranjit Kaur:
Scheduling unit processing time arc shutdown jobs to maximize network flow over time: complexity results.
Sander P. A. Alewijnse, Quirijn W. Bouts, Alex P. ten Brink, Kevin Buchin:
Computing the Greedy Spanner in Linear Space.


Andrew Clark, Basel Alomair, Linda Bushnell, Radha Poovendran:
Minimizing Convergence Error in Multi-Agent Systems via Leader Selection: A Supermodular Optimization Approach.
Saeid Abolfazli, Zohreh Sanaei, Ejaz Ahmed, Abdullah Gani, Rajkumar Buyya:
Cloud-Based Augmentation for Mobile Devices: Motivation, Taxonomies, and Open Challenges.
Emiliano De Cristofaro:
Users' Attitudes, Perception, and Concerns in the Era of Whole Genome Sequencing.
Shenqiu Zhang, Alireza Seyedi:
Harvesting Resource Allocation in Energy Harvesting Wireless Sensor Networks.
Lizi Zhang:
Safeguarding E-Commerce against Advisor Cheating Behaviors: Towards More Robust Trust Models for Handling Unfair Ratings.
Jacob Hendricks, Jennifer E. Padilla, Matthew J. Patitz, Trent A. Rogers:
Signal Transmission Across Tile Assemblies: 3D Static Tiles Simulate Active Self-Assembly by 2D Signal-Passing Tiles.

Toshimasa Ishii, Hirotaka Ono, Yushi Uno:
(Total) Vector Domination for Graphs with Bounded Branchwidth.
Tao Li, Fuke Wu, Ji-Feng Zhang:
Consensus Conditions of Multi-Agent Systems With Relative-State-Dependent Measurement Noises.


Oswin Aichholzer, Thomas Hackl, Alexander Pilz, Pedro A. Ramos, Vera Sacristán, Birgit Vogtenhuber:
Empty triangles in good drawings of the complete graph.
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL.
(Withdrawn) Normalisation of a Non-deterministic Type Isomorphic λ-calculus.
Eno Tõnisson:
Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System.
Domenico Ciuonzo, Gianmarco Romano, Pierluigi Salvo Rossi:
Performance Analysis and Design of Maximum Ratio Combining in Channel-Aware MIMO Decision Fusion.
Marko Velic, Ivan Padavic, Sinisa Car:
Computer Aided ECG Analysis - State of the Art and Upcoming Challenges.

Imen Messaoudi, Afef Elloumi Oueslati, Zied Lachiri:
Complex Morlet Wavelet Analysis of the DNA Frequency Chaos Game Signal and Revealing Specific Motifs of Introns in C.elegans.
Alexander Gruner, Michael Huber:
Low-Density Parity-Check Codes From Transversal Designs With Improved Stopping Set Distributions.
Daniel Langr, Pavel Tvrdík, Tomás Dytrych, Jerry P. Draayer:
Fake Run-Time Selection of Template Arguments in C++.
Subhransu Maji, Esa Rahtu, Juho Kannala, Matthew B. Blaschko, Andrea Vedaldi:
Fine-Grained Visual Classification of Aircraft.
Nadim Kobeissi, Arlo Breault:
Cryptocat: Adopting Accessibility and Ease of Use as Security Properties.
Galina Sherman, Peer-Olaf Siebers, Uwe Aickelin, David Menachof:
Scenario Analysis, Decision Trees and Simulation for Cost Benefit Analysis of the Cargo Screening Process.
Galina Sherman, David Menachof, Peer-Olaf Siebers, Uwe Aickelin:
Towards modelling cost and risks of infrequent events in the cargo screening process.
Wafaa Tawfik Abdel-moneim, Mohamed Hashem Abdel-Aziz, Mohamed Monier Hassan:
Clinical Relationships Extraction Techniques from Patient Narratives.
Andreas Göbel, Leslie Ann Goldberg, Colin McQuillan, David Richerby, Tomoyuki Yamakami:
Counting list matrix partitions of graphs.
Benlafkih Abdessamad, Krit Salah-ddine, Chafik Elidrissi Mohamed:
A Comparative study of Analog and digital Controller On DC/DC Buck-Boost Converter Four Switch for Mobile Device Applications.
Fred Morstatter, Jürgen Pfeffer, Huan Liu, Kathleen M. Carley:
Is the Sample Good Enough? Comparing Data from Twitter's Streaming API with Twitter's Firehose.
Gurpreet Singh Saini, Priyanka Dubey, Md Tanzilur Rahman:
Review Study For Inter-Operability Of Manet Protocols In Wireless Sensor Networks.
Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Ross Gore:
Epistemology of Modeling and Simulation: How can we gain Knowledge from Simulations?
J. Chang, K. B. Nakshatrala:
Modification to Darcy model for high pressure and high velocity applications and associated mixed finite element formulations.
Alvaro Lopez-Medrano:
How Information Transfer works: interpretation of Information Contents in Bayes Theorem. Understanding Negative Information.
Kunal N. Chaudhury, Yuehaw Khoo, Amit Singer, David Cowburn:
Global registration of multiple point clouds using semidefinite programming.
Shuang Tian, Yonghui Li, Mahyar Shirvanimoghaddam, Branka Vucetic:
A Physical-layer Rateless Code for Wireless Channels.
Haonan Yu, Jeffrey Mark Siskind:
Discriminative Training: Learning to Describe Video with Sentences, from Video Described with Sentences.
Nikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko:
Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types.
Christian Staudt, Andrea Schumm, Henning Meyerhenke, Robert Görke, Dorothea Wagner:
Static and Dynamic Aspects of Scientific Collaboration Networks.
Chengju Li, Qin Yue:
Weight distribution of two classes of cyclic codes with respect to two distinct order elements.
Jesse Hoey, Tobias Schröder, Areej Alhothali:
Affect Control Processes: Probabilistic and Decision Theoretic Affective Control in Human-Computer Interaction.
Pinghui Wang, John C. S. Lui, Junzhou Zhao, Bruno F. Ribeiro, Don Towsley, Xiaohong Guan:
Efficiently Estimating Subgraph Statistics of Large Networks in the Dark.
Seyed Pooya Shariatpanahi, Babak Hossein Khalaj, Kasra Alishahi, Hamed Shah-Mansouri:
Throughput of Large One-hop Wireless Networks with General Fading.
Sourangsu Banerji:
Design and Implementation of an Unmanned Vehicle using a GSM Network without Microcontrollers.
Cong Ling, Laura Luzzi, Matthieu R. Bloch:
Secret key generation from Gaussian sources using lattice hashing.
Gábor Fodor, Marco Belleschi, Demia Della Penda, Aidilla Pradini, Mikael Johansson, Andrea Abrardo:
Benchmarking Practical RRM Algorithms for D2D Communications in LTE Advanced.
Mehul Bhatt, Jakob Suchan, Carl P. L. Schultz:
Cognitive Interpretation of Everyday Activities: Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation.

Tyler H. Summers, Iman Shames:
Active influence in dynamical models of structural balance in social networks.
Erick Stattner, Wilfried Segretier, Martine Collard, Philippe Hunel, Nicolas Vidot:
Song-based Classification techniques for Endangered Bird Conservation.
Daniel L. Miller:
Error Correction for NOR Memory Devices with Exponentially Distributed Read Noise.

Tejaswi Agarwal, Saurabh Jha, B. Rajesh Kanna:
P-HGRMS: A Parallel Hypergraph Based Root Mean Square Algorithm for Image Denoising.
Sajai Vir Singh, Gungan Gupta, Rahul Chhabra, Kanika Nagpal, Devansh:
Electronically Tunable Voltage-Mode Biquad Filter/Oscillator Based On CCCCTAs.
Hubie Chen, Moritz Müller:
The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space Complexity.
Kai Cai, Walter Murray Wonham:
Supervisor Localization of Discrete-Event Systems based on State Tree Structures.
Soroush Alamdari, Timothy M. Chan, Elyot Grant, Anna Lubiw, Vinayak Pathak:
Self-Approaching Graphs.
Michael D. Conover, Clayton A. Davis, Emilio Ferrara, Karissa McKelvey, Filippo Menczer, Alessandro Flammini:
The Geospatial Characteristics of a Social Movement Communication Network.
Michael D. Conover, Emilio Ferrara, Filippo Menczer, Alessandro Flammini:
The Digital Evolution of Occupy Wall Street.
Benjamin Kunsberg, Steven W. Zucker:
Characterizing Ambiguity in Light Source Invariant Shape from Shading.
Hu Li, Yuan'an Liu, Dongming Yuan, Hefei Hu:
A Wrapper of PCI Express with FIFO Interfaces based on FPGA.
(Withdrawn) Power Minimization in Multi-pair Two-Way Relaying.
Kevin Buchin, Maike Buchin, Rolf van Leusden, Wouter Meulemans, Wolfgang Mulzer:
Computing the Fréchet Distance with a Retractable Leash.




Chae Chang Lee, Ji Won Yoon:
A data mining approach using transaction patterns for card fraud detection.
Florent Krzakala, Cristopher Moore, Elchanan Mossel, Joe Neeman, Allan Sly, Lenka Zdeborová, Pan Zhang:
Spectral redemption: clustering sparse networks.
Robert Ganian, Jan Obdrzálek:
Expanding the expressive power of Monadic Second-Order logic on restricted graph classes.

Nan Li, Elena Dubrova:
An Algorithm for Constructing a Smallest Register with Non-Linear Update Generating a Given Binary Sequence.
Moritz Mühlenthaler, Rolf Wanka:
A Decomposition of the Max-min Fair Curriculum-based Course Timetabling Problem.
Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan:
Proteus: A Hierarchical Portfolio of Solvers and Transformations.
Chengqing Li, Yuansheng Liu, Leo Yu Zhang, Kwok-Wo Wong:
Breaking an image compression and encryption scheme based on Chinese Remainder Theorem.

Dong Zhao, Xiang-Yang Li, Huadong Ma:
OMG: How Much Should I Pay Bob in Truthful Online Mobile Crowdsourced Sensing?
Dhammika Pieris:
Modifying the Entity relationship modelling notation: towards high quality relational databases from better notated ER models.
Vijay Manikandan Janakiraman, XuanLong Nguyen, Jeff Sterniak, Dennis Assanis:
Modeling The Stable Operating Envelope For Partially Stable Combustion Engines Using Class Imbalance Learning.
Jaeyong Sung, Bart Selman, Ashutosh Saxena:
Learning Sequences of Controllers for Complex Manipulation Tasks.


Yair Carmon, Shlomo Shamai, Tsachy Weissman:
Comparison of the Achievable Rates in OFDM and Single Carrier Modulation with I.I.D. Inputs.

Michael G. Kallitsis, Stilian Stoev, George Michailidis:
A State-Space Approach for Optimal Traffic Monitoring via Network Flow Sampling.
Daniela Maftuleac:
Algorithms for distance problems in planar complexes of global nonpositive curvature.
Xiaomin Chen, Admela Jukan, Ashwin Gumaste:
Optimized Parallel Transmission in Elastic Optical Networks to Support High-Speed Ethernet.
Chengju Li, Qin Yue, Fengwei Li:
Weight distributions of cyclic codes with respect to pairwise coprime order elements.


Shan Ma, Junlin Xiong, Valery A. Ugrinovskii, Ian R. Petersen:
Robust Decentralized Stabilization of Markovian Jump Large-Scale Systems: A Neighboring Mode Dependent Control Approach.
(Withdrawn) Randomized incremental construction of the Hausdorff Voronoi diagram of non-crossing clusters.
(Withdrawn) Practical Secrecy: Bridging the Gap between Cryptography and Physical Layer Security.

(Withdrawn) Design of an Agent for Answering Back in Smart Phones.

Sri Hartati, Shofwatul 'Uyun:
Computation of Diet Composition for Patients Suffering from Kidney and Urinary Tract Diseases with the Fuzzy Genetic System.
Menaka Gandhi J., K. S. Gayathri:
Activity Modeling in Smart Home using High Utility Pattern Mining over Data Streams.
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic:
DNA Reservoir Computing: A Novel Molecular Computing Approach.



Joshua Dunfield, Neelakantan R. Krishnaswami:
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
Alireza Goudarzi, Christof Teuscher, Natali Gulbahce, Thimo Rohlf:
Learning, Generalization, and Functional Entropy in Random Automata Networks.
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard:
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.
Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar:
Rate-Compatible Protograph-based LDPC Codes for Inter-Symbol Interference Channels.
Reza Farrahi Moghaddam, Shaohua Chen, Rachid Hedjam, Mohamed Cheriet:
A maximal-information color to gray conversion method for document images: Toward an optimal grayscale representation for document image binarization.
Cristian Danescu-Niculescu-Mizil, Moritz Sudhof, Dan Jurafsky, Jure Leskovec, Christopher Potts:
A Computational Approach to Politeness with Application to Social Factors.
David Darmon, Jared Sylvester, Michelle Girvan, William Rand:
Predictability of User Behavior in Social Media: Bottom-Up v. Top-Down Modeling.
Jan Olaf Blech, Harald Rueß, Bernhard Schätz:
On Behavioral Types for OSGi: From Theory to Implementation.
Sivaraman Dasarathan, Cihan Tepedelenlioglu:
Distributed Estimation and Detection with Bounded Transmissions over Gaussian Multiple Access Channels.
Harpreet S. Dhillon, Jeffrey G. Andrews:
Downlink Rate Distribution in Heterogeneous Cellular Networks under Generalized Cell Selection.
Sourangsu Banerji:
Design and Implementation of an Unmanned Vehicle using a GSM Network with Microcontrollers.
Fabio Lorenzo Traversa, Fabrizio Bonani, Yuriy V. Pershin, Massimiliano Di Ventra:
Dynamic Computing Random Access Memory.
Domenico Ciuonzo, Giuseppe Papa, Gianmarco Romano, Pierluigi Salvo Rossi, Peter K. Willett:
One-bit Decentralized Detection with a Rao Test for Multisensor Fusion.
Chang Li, Jun Zhang, Khaled Ben Letaief:
Throughput and Energy Efficiency Analysis of Small Cell Networks with Multi-antenna Base Stations.
Lukasz Swierczewski:
Akceleracja obliczen algebry liniowej z wykorzystaniem masywnie rownoleglych, wielordzeniowych procesorow GPU.
P. Vasanth Sena:
An Optimal Heuristic for Sum of All Prime Numbers Logic for Large Inputs using RAPTOR.
Adel Taeib, Ali Ltaeif, Abdelkader Chaari:
A PSO Approach for Optimum Design of Multivariable PID Controller for nonlinear systems.
Augusto Santos, José M. F. Moura, João Manuel Freitas Xavier:
Emergent Behavior in Multipartite Large Networks: Multi-virus Epidemics.
Jonathan Scarlett, Alfonso Martinez, Albert Guillen i Fabregas:
A Derivation of the Asymptotic Random-Coding Prefactor.
Grazziela P. Figueredo, Uwe Aickelin:
Investigating Immune System Aging: System Dynamics and Agent-Based Modeling.
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Treatment of Infinitary Rewriting.
Young-Ho Eom, Dima Shepelyansky:
Highlighting entanglement of cultures via ranking of multilingual Wikipedia articles.
Cédric Teyton, Jean-Rémy Falleri, Marc Palyart, Xavier Blanc:
A Study of Library Migration in Java Software.
Seyed Morteza Ayatollahi, Hossein Ziaei Nafchi:
Persian Heritage Image Binarization Competition (PHIBC 2012).
Hervé Chabanne, Gérard D. Cohen, Alain Patey:
Towards Secure Two-Party Computation from the Wire-Tap Channel.

Zachary T. Harmany, Roummel F. Marcia, Rebecca M. Willett:
Compressive Coded Aperture Keyed Exposure Imaging with Optical Flow Reconstruction.
Ashesh Jain, Thorsten Joachims, Ashutosh Saxena:
Learning Trajectory Preferences for Manipulators via Iterative Improvement.
Alexandr Andoni, Huy L. Nguyen, Yury Polyanskiy, Yihong Wu:
Tight Lower Bound for Linear Sketches of Moments.
Saket Joshi, Roni Khardon, Prasad Tadepalli, Aswin Raghavan, Alan Fern:
Solving Relational MDPs with Exogenous Events and Additive Rewards.


Vena Pearl Bongolan, Florencio C. Ballesteros Jr., Joyce Anne M. Banting, Aina Marie Q. Olaes, Charlymagne R. Aquino:
Metaheuristics in Flood Disaster Management and Risk Assessment.
Rodrigo Caiado de Lamare, Masahiro Yukawa, Isao Yamada:
Robust Reduced-Rank Adaptive Processing Based on Parallel Subgradient Projection and Krylov Subspace Techniques.
Ankit Mundra, Nitin Rakesh, Vipin Tyagi:
Query Centric CPS (QCPS) Approach for Multiple Heterogeneous Systems.
Xuemei Chen, Haichao Wang, Rongrong Wang:
A null space analysis of the L1 synthesis method in frame-based compressed sensing.
Amelie Chi Zhou, Bingsheng He, Cheng Liu:
Probabilistic Scheduling of Scientific Workflows in Dynamic Cloud Environments.
S. P. Meenakshi, S. V. Raghavan:
Forecasting and Event Detection in Internet Resource Dynamics using Time Series Models.
S. P. Meenakshi, S. V. Raghavan:
Internet Control Plane Event Identification using Model Based Change Point Detection Techniques.
Matthew Aldridge, Leonardo Baldassini, Oliver Johnson:
Group testing algorithms: bounds and simulations.
Shofwatul 'Uyun, Imam Riadi:
A Fuzzy Topsis Multiple-Attribute Decision Making for Scholarship Selection.
Yipeng Liu, Maarten De Vos, Ivan Gligorijevic, Vladimir Matic, Yuqian Li, Sabine Van Huffel:
Multi-Structural Signal Recovery for Biomedical Compressive Sensing.
Laszlo B. Kish, Derek Abbott, Claes-Goran Granqvist:
Critical analysis of the Bennett-Riedel attack on secure cryptographic key distributions via the Kirchhoff-law-Johnson-noise scheme.
Shuai Yuan, Jun Wang, Xiaoxue Zhao:
Real-time Bidding for Online Advertising: Measurement and Analysis.
Daniel Torres-Salinas, Alberto Martín-Martín, Enrique Fuente-Gutiérrez:
An introduction to the coverage of the Data Citation Index (Thomson-Reuters): disciplines, document types and repositories.
Marcin Pilipczuk, Michal Pilipczuk, Piotr Sankowski, Erik Jan van Leeuwen:
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs.
Daniel Torres-Salinas, Alvaro Cabezas-Clavijo, Evaristo Jiménez-Contreras:
Altmetrics: New Indicators for Scientific Communication in Web 2.0.
Sukhpal Singh, Rishideep Singh:
Earthquake Disaster based Efficient Resource Utilization Technique in IaaS Cloud.
Manuel Sorge:
A More Complicated Hardness Proof for Finding Densest Subgraphs in Bounded Degree Graphs.

Sooyoung Hur, Taejoon Kim, David J. Love, James V. Krogmeier, Timothy A. Thomas, Amitava Ghosh:
Millimeter Wave Beamforming for Wireless Backhaul and Access in Small Cell Networks.
Olivier Curé, David Faye, Guillaume Blin:
Towards a better insight of RDF triples Ontology-guided Storage system abilities.
Mojtaba Vaezi, Fabrice Labeau:
Extended Subspace Error Localization for Rate-Adaptive Distributed Source Coding.
Sergei V. Chekanov:
Next generation input-output data format for HEP using Google's protocol buffers.
Aurélien Bellet, Amaury Habrard, Marc Sebban:
A Survey on Metric Learning for Feature Vectors and Structured Data.
Erik D. Demaine, Matthew J. Patitz, Trent A. Rogers, Robert T. Schweller, Scott M. Summers, Damien Woods:
The two-handed tile assembly model is not intrinsically universal.

Mauro Conti, Nicola Dragoni, Sebastiano Gottardo:
MITHYS: Mind The Hand You Shake - Protecting mobile devices from SSL usage vulnerabilities.
Dhammika Pieris:
A novel ER model to relational model transformation algorithm for semantically clear high quality database design.
Don J. Torrieri, Matthew C. Valenti, Salvatore Talarico:
An Analysis of the DS-CDMA Cellular Uplink for Arbitrary and Constrained Topologies.


Aris Kosmopoulos, Ioannis Partalas, Éric Gaussier, Georgios Paliouras, Ion Androutsopoulos:
Evaluation Measures for Hierarchical Classification: a unified view and novel approaches.
Sara Hajian:
Simultaneous Discrimination Prevention and Privacy Protection in Data Publishing and Mining.
Augusto Santos, José M. F. Moura, João Manuel Freitas Xavier:
Epidemics in Multipartite Networks: Emergent Dynamics.
Damon Paulo, Bradley Fischl, Tanya Markow, Michael Martin, Paulo Shakarian:
Social Network Intelligence Analysis to Combat Street Gang Violence.
Karthik R, Raghavendra Karthik, Pramod S., Sowmya Kamath:
W3-Scrape - A Windows based Reconnaissance Tool for Web Application Fingerprinting.
Dimitris Arabadjis, Fotios Giannopoulos, Constantin Papaodysseus, Solomon Zannos, Panayiotis Rousopoulos, Michail Panagopoulos, Christopher Blackwell:
New Mathematical and Algorithmic Schemes for Pattern Classification with Application to the Identification of Writers of Important Ancient Documents.
Matteo Brunelli, Michele Fedrizzi:
Axiomatic properties of inconsistency indices for pairwise comparisons.
Deepali Virmani, Nidhi Beniwal, Gargi Mandal, Saloni Talwar:
Enhanced Tiny Encryption Algorithm with Embedding (ETEA).
Xavier Molinero, Fabián Riquelme, Maria J. Serna:
Power indices of influence games and new centrality measures for social networks.


Pol Colomer-de-Simon, M. Ángeles Serrano, Mariano G. Beiró, J. Ignacio Alvarez-Hamelin, Marián Boguñá:
Deciphering the global organization of clustering in real complex networks.
Orion Penner, Raj Kumar Pan, Alexander M. Petersen, Kimmo Kaski, Santo Fortunato:
On the Predictability of Future Impact in Science.


Benigno Uria, Iain Murray, Hugo Larochelle:
NADE: The real-valued neural autoregressive density-estimator.
Qing Hui, Haopeng Zhang:
Convergence Analysis and Parallel Computing Implementation for the Multiagent Coordination Optimization Algorithm.
Javier Cilleruelo, Micha Sharir, Adam Sheffer:
On lattices, distinct distances, and the Elekes-Sharir framework.
Gerald F. Frasco, Jie Sun, Hernán D. Rozenfeld, Daniel ben-Avraham:
Spatially distributed social complex networks.



Vincenzo Nicosia, John Kit Tang, Cecilia Mascolo, Mirco Musolesi, Giovanni Russo, Vito Latora:
Graph Metrics for Temporal Networks.
Navtej Singh, Lisa-Marie Browne, Ray Butler:
Parallel Astronomical Data Processing with Python: Recipes for multicore machines.
Enrico Gerlach, Siegfried Eggl, Charalampos Skokos, Joshua D. Bodyfelt, Georgios Papamikos:
High Order Three Part Split Symplectic Integration Schemes.
Biplab Bhattacherjee, S. S. Manna, Animesh Mukherjee:
Information sharing and sorting in a community.
Tao Ye, Wenqi Huang, Zhipeng Lü:
Iterated Tabu Search Algorithm for Packing Unequal Circles in a Circle.

Ashkan Rafiee, Denys Dutykh, Frédéric Dias:
Numerical simulation of wave impact on a rigid wall using a two-phase compressible SPH method.

Krikamol Muandet, Kenji Fukumizu, Bharath K. Sriperumbudur, Arthur Gretton, Bernhard Schölkopf:
Kernel Mean Estimation and Stein's Effect.
Max A. Alekseyev:
On integral points on biquadratic curves and near multiples of squares in Lucas sequences.
Ruggero Gramatica, Tiziana di Matteo, Stefano Giorgetti, Massimo Barbiani, Dorian Bevec, Tomaso Aste:
Graph theory enables drug repurposing. How a mathematical model can drive the discovery of hidden Mechanisms of Action.
Ian Osband, Daniel Russo, Benjamin Van Roy:
(More) Efficient Reinforcement Learning via Posterior Sampling.

Christos Dimitrakakis, Blaine Nelson, Aikaterini Mitrokotsa, Benjamin I. P. Rubinstein:
Robust, Secure and Private Bayesian Inference.

Carlos E. Laciana, Nicolas Oteiza Aguirre:
Agent-based multi-optional model of innovations diffusion.



Martin Roetteler, Rainer Steinwandt:
A quantum circuit to find discrete logarithms on binary elliptic curves in depth O(log^2 n).
Xavier Bresson, Thomas Laurent, David Uminsky, James H. von Brecht:
Multiclass Total Variation Clustering.


Michael Chertkov, Andrew Gelfand, Jinwoo Shin:
Loop Calculus and Bootstrap-Belief Propagation for Perfect Matchings on Arbitrary Graphs.
Cristina Garcia-Cardona, Arjuna Flenner, Allon G. Percus:
Multiclass Semi-Supervised Learning on Graphs using Ginzburg-Landau Functional Minimization.
Christoph Koutschan, Peter Paule, Sergei K. Suslov:
Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II.
Alessandro Mirone, Emmanuelle Gouillart, Emmanuel Brun, Paul Tafforeau, Jérôme Kieffer:
PyHST2: an hybrid distributed code for high speed tomographic reconstruction with iterative reconstruction and a priori knowledge capabilities.
Juyong Park, Soon-Hyung Yook:
Bayesian Inference of Natural Rankings in Incomplete Competition Networks.
Oleg V. Borodin, Zdenek Dvorak, Alexandr V. Kostochka, Bernard Lidický, Matthew P. Yancey:
Planar 4-critical graphs with four triangles.
Gunther Reissig, Christoph Hartung, Ferdinand Svaricek:
Strong Structural Controllability of Linear Time-Varying Systems.
Mark M. Wilde, Andreas J. Winter, Dong Yang:
Strong converse for the classical capacity of entanglement-breaking channels.
Vida Dujmovic, Pat Morin, David R. Wood:
Layered Separators in Minor-Closed Families with Applications.

Eckhard Hitzer:
OPS-QFTs: A new type of quaternion Fourier transforms based on the orthogonal planes split with one or two general pure quaternions.
Eckhard Hitzer:
Clifford Fourier-Mellin transform with two real square roots of -1 in Cl(p, q), p+q=2.

Konrad Engel, Thomas Kalinowski, Martin W. P. Savelsbergh:
Incremental Network Design with Minimum Spanning Trees.
Abraão D. C. Nascimento, Michelle Matos Horta, Alejandro César Frery, Renato J. Cintra:
Comparing Edge Detection Methods based on Stochastic Entropies and Distances for PolSAR Imagery.
Martin Azizyan, Aarti Singh, Larry A. Wasserman:
Minimax Theory for High-dimensional Gaussian Mixtures with Sparse Mean Separation.
Maryam Yazdani, Morteza Saheb Zamani, Mehdi Sedighi:
A Quantum Physical Design Flow Using ILP and Graph Drawing.

Eckhard Hitzer:
New views of crystal symmetry guided by profound admiration of the extraordinary works of Grassmann and Clifford.
Eckhard Hitzer, Stephen J. Sangwine:
The Orthogonal 2D Planes Split of Quaternions and Steerable Quaternion Fourier Transformations.
Lucio Floretta, Jonas Liechti, Alessandro Flammini, Paolo De Los Rios:
Stochastic fluctuations and the detectability limit of network communities.
Konstantin Berlin, Nail A. Gumerov, Ramani Duraiswami, David Fushman:
Performance of a GPU-based Direct Summation Algorithm for Computation of Small Angle Scattering Profile.
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
A journey through resource control lambda calculi and explicit substitution using intersection types (an account).

Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram:
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods.
Tyler H. Summers, John Lygeros:
Optimal Sensor and Actuator Placement in Complex Dynamical Networks.
Pedro J. Miranda, Murilo S. Baptista, Sandro E. de S. Pinto:
Analysis of communities in a mythological social network.
Bamdev Mishra, Rodolphe Sepulchre:
R3MC: A Riemannian three-factor algorithm for low-rank matrix completion.
Alfredo A. Kalaitzis, Ricardo Bezerra de Andrade e Silva:
Flexible Sampling for the Gaussian Copula Extended Rank Likelihood Model.
Roger Frigola, Fredrik Lindsten, Thomas B. Schön, Carl E. Rasmussen:
Bayesian Inference and Learning in Gaussian Process State-Space Models with Particle MCMC.
Manuel Delgado, José Ignacio Farrán, Pedro A. García-Sánchez, David Llena:
On the weight hierarchy of codes coming from semigroups with two generators.
Russell Bent, Daniel Bienstock, Michael Chertkov:
Synchronization-Aware and Algorithm-Efficient Chance Constrained Optimal Power Flow.

Genki Ichinose, Yuto Tenguishi, Toshihiro Tanizawa:
Robustness of cooperation on scale-free networks under continuous topological change.
Jonas Hägglund, Klas Markström:
Shortest cycle covers and cycle double covers with large 2-regular subgraphs.
Jakob Eg Larsen, Piotr Sapiezynski, Arkadiusz Stopczynski, Morten Mørup, Rasmus Theodorsen:
Crowds, Bluetooth, and Rock-n-Roll. Understanding Music Festival Participant Behavior.
Martin Müller-Lennert, Frédéric Dupuis, Oleg Szehr, Serge Fehr, Marco Tomamichel:
On quantum Renyi entropies: a new definition and some properties.
Maksim Lapin, Matthias Hein, Bernt Schiele:
Learning Using Privileged Information: SVM+ and Weighted SVM.
Adel Javanmard, Andrea Montanari:
Confidence Intervals and Hypothesis Testing for High-Dimensional Regression.
Tiancheng Li, Shudong Sun, Tariq Pervez Sattar:
Adapting sample size in particle filters through KLD-resampling.

Iasson Karafyllis, Miroslav Krstic, Tarek Ahmed-Ali, Françoise Lamnabhi-Lagarrigue:
Global Stabilization of Nonlinear Delay Systems With a Compact Absorbing Set.
Bernd Bank, Marc Giusti, Joos Heintz, Grégoire Lecerf, Guillermo Matera, Pablo Solernó:
Degeneracy loci and polynomial equation solving.
Thomas Bühler, Syama Sundar Rangapuram, Simon Setzer, Matthias Hein:
Constrained fractional set programs and their application in local clustering and community detection.
Sebastian M. Krause, Tiago P. Peixoto, Stefan Bornholdt:
Spontaneous centralization of control in a network of company ownerships.





Chia-Hung Chien, Rodney Van Meter, Sy-Yen Kuo:
Fault-tolerant Operations for Universal Blind Quantum Computation.
Saptarshi Das, Indranil Pan, Shantanu Das:
Fractional Order Fuzzy Control of Nuclear Reactor Power with Thermal-Hydraulic Effects in the Presence of Random Network Induced Delay and Sensor Noise having Long Range Dependence.
Saptarshi Das, Indranil Pan, Kaushik Halder, Shantanu Das, Amitava Gupta:
Optimum Weight Selection Based LQR Formulation for the Design of Fractional Order PIλDμ Controllers to Handle a Class of Fractional Order Systems.
Indranil Pan, Saptarshi Das:
Frequency Domain Design of Fractional Order PID Controller for AVR System Using Chaotic Multi-objective Optimization.
Saptarshi Das, Indranil Pan, Shantanu Das:
Performance Comparison of Optimal Fractional Order Hybrid Fuzzy PID Controllers for Handling Oscillatory Fractional Order Processes with Dead Time.
Indranil Pan, Saptarshi Das:
Design of Hybrid Regrouping PSO-GA based Sub-optimal Networked Control System with Random Packet Losses.
Saptarshi Das, Sumit Mukherjee, Shantanu Das, Indranil Pan, Amitava Gupta:
Continuous Order Identification of PHWR Models Under Step-back for the Design of Hyper-damped Power Tracking Controller with Enhanced Reactor Safety.
Akihito Kikuchi:
An approach to first principles electronic structure calculation by symbolic-numeric computation.
Trung Duc Nguyen, Rodney Van Meter:
A Space-Efficient Design for Reversible Floating Point Adder in Quantum Computing.
Gérald Gurtner, Stefania Vitali, Marco Cipolla, Fabrizio Lillo, Rosario Nunzio Mantegna, Salvatore Miccichè, Simone Pozzi:
Multi-scale analysis of the European airspace using network community detection.






Kevin G. Jamieson, Matthew Malloy, Robert D. Nowak, Sébastien Bubeck:
On Finding the Largest Mean Among Many.
Maria V. Ferrer, Salvador Hernandez, Dmitri Shakhmatov:
Subgroups of direct products closely approximated by direct sums.
Michael Small, Kevin Judd, Thomas Stemler:
A surrogate for networks - How scale-free is my scale-free network?
Jean Barbier, Florent Krzakala, Lenka Zdeborová, Pan Zhang:
The hard-core model on random graphs revisited.
Clara Granell, Sergio Gómez, Alex Arenas:
On the dynamical interplay between awareness and epidemic spreading in multiplex networks.
Rodrigo Aldecoa, Ignacio Marín:
Exploring the limits of community detection strategies in complex networks.
Wataru Kumagai, Masahito Hayashi:
Second Order Asymptotics of Optimal Approximate Conversion for Probability Distributions and Entangled States and Its Application to LOCC Cloning.
Jinhu Liu, Zi-Ke Zhang, Chengcheng Yang, Lingjiao Chen, Chuang Liu, Xueqi Wang:
Gravity Effects on Information Filtering and Network Evolving.
Vassili Kolokoltsov, Hemant Passi, Wei Yang:
Inspection and crime prevention: an evolutionary perspective.
Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh:
Detecting Similarity of Plane Rational Curves.


Laetitia Gauvin, André Panisson, Ciro Cattuto, Alain Barrat:
Activity clocks: spreading dynamics on temporal networks of human contact.
Julien Mairal:
Stochastic Majorization-Minimization Optimization with First-Order Surrogate Functions.
David J. Biagioni, Daniel J. Beylkin, Gregory Beylkin:
On Rank Reduction of Separated Representations.
Satoshi Iriyama, Masanori Ohya, Igor V. Volovich:
On Quantum Algorithm for Binary Search and Its Computational Complexity.
Qian Li, Tao Zhou, Linyuan Lu, Duanbing Chen:
Identifying Influential Spreaders by Weighted LeaderRank.
Chol-Su Kim, Kwang-Hyok Jong, Song-Jin Im:
Document watermarking based on digital holographic principle.

Hal A. Kierstead, Bernard Lidický:
On choosability with separation of planar graphs with lists of different sizes.

Hirotaka Takahashi, Ken-ichi Oohara, Masato Kaneyama, Yuta Hiranuma, Jordan B. Camp:
On Investigating EMD Parameters to Search for Gravitational Waves.
Eliza-Olivia Lungu, Ana-Maria Zamfir, Cristina Mocanu:
Patterns in the occupational mobility network of the higher education graduates. Comparative study in 12 EU countries.



Yu-Xiao Zhu, Xiaoguang Zhang, Gui-Quan Sun, Ming Tang, Tao Zhou, Zi-Ke Zhang:
Influence of Reciprocal links in Social Networks.
Brian McWilliams, David Balduzzi, Joachim M. Buhmann:
Correlated random features for fast semi-supervised learning.
Zhixiong Chen:
Trace representation and linear complexity of binary sequences derived from Fermat quotients.
Richard K. Darst, David R. Reichman, Peter Ronhovde, Zohar Nussinov:
Algorithm independent bounds on community detection problems and associated transitions in stochastic block model graphs.
Dave Zachariah, Petter Wirfält, Magnus Jansson, Saikat Chatterjee:
Line Spectrum Estimation with Probabilistic Priors.
Zhaosong Lu, Lin Xiao:
Randomized Block Coordinate Non-Monotone Gradient Method for a Class of Nonlinear Programming.
Juliette Stehlé, François Charbonnier, Tristan Picard, Ciro Cattuto, Alain Barrat:
Gender homophily from spatial behavior in a primary school: a sociometric study.
Raj Rao Nadakuditi:
Optimally weighted recovery of a low-rank signal matrix from a high-dimensional signal-plus-noise matrix.
Shun Kataoka, Muneki Yasuda, Cyril Furtlehner, Kazuyuki Tanaka:
Traffic data reconstruction based on Markov random field modeling.
Vladimir Y. Chernyak, Michael Chertkov, Joris Bierkens, Hilbert J. Kappen:
Stochastic Optimal Control as Non-equilibrium Statistical Mechanics: Calculus of Variations over Density and Current.
Davide Cagnoni, Francesco Agostini, Thomas Christen, Carlo de Falco, Nicola Parolini, Ivica Stevanovic:
Multiphysics simulation of corona discharge induced ionic wind.
Tomoaki Okayama:
Explicit error bound for modified numerical iterated integration by means of Sinc methods.
Louis J. Billera, Lionel Levine, Karola Mészáros:
How to decompose a permutation into a pair of labeled Dyck paths by playing a game.
Vladimir P. Gerdt, Amir Hashemi, Benyamin M.-Alizadeh:
Involutive Bases Algorithm Incorporating F5 Criterion.

Gerold Jäger, Marcin Peczarski:
The Worst Case Number of Questions in Generalized AB Game with and without White-peg Answers.
Christian Gogolin, Martin Kliesch, Leandro Aolita, Jens Eisert:
Boson-Sampling in the light of sample complexity.
Li Yang, Hong-Wei Li:
Investigating the linear structure of Boolean functions based on Simon's period-finding quantum algorithm.
Li Yang:
Quantum oblivious transfer and bit commitment protocols based on two non-orthogonal states coding.








Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
